Nuprl Lemma : hide_wf
4,23
postcript
pdf
T
:Type,
x
:
T
. HIDDEN
T
latex
Definitions
HIDDEN
,
x
:
A
.
B
(
x
)
,
t
T
origin
T:Type, x:T. HIDDEN 
T T:Type, x:T. HIDDEN T x:A. B(x) T